]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef9dee2) | patch
build: Require bash for pushd
authorPhilip Chimento <philip.chimento@gmail.com>
Sat, 15 Apr 2017 07:00:54 +0000 (00:00 -0700)
committerPhilip Chimento <philip.chimento@gmail.com>
Sat, 15 Apr 2017 07:00:54 +0000 (00:00 -0700)
commit1508d76d32797dc0ba74eee0f80cae48f13e4c97
treedb5954902a039655f1bf22b9849719f0180c964ctree | snapshot
parentef9dee2a051e14d8106d6caa82915186e0d89b9acommit | diff
build: Require bash for pushd

If using sh, there's no pushd. Make autogen.sh execute with bash instead.
autogen.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.